­
­
­
­

Inventi Impact: Modeling & Simulation

Articles

  • Inventi:ems/15821/15
    Runtime Instrumentation of SystemC/TLM2 Interfaces for Fault Tolerance Requirements\nVerification in Software Cosimulation
    01-Jan-1970 Research 2015 : April - June
    Antonio da Silva, Pablo Parra, Oscar R Polo, Sebastian Sanchez

    This paper presents the design of a SystemC transaction level modelling wrapping library that can be used for the assertion\nof system properties, protocol compliance, or fault injection. The library uses C++ virtual table hooks as a dynamic binary\ninstrumentation technique to inline wrappers in the TLM2 transaction path. This technique can be applied after the elaboration\nphase and needs neither source code modifications nor recompilation of the top level SystemC modules. The proposed technique\nhas been successfully applied to the robustness verification of the on-board boot software of the Instrument Control Unit of the\nSolar Orbiter�s Energetic Particle Detector.

    How to Cite this Article
    CC Compliant Citation: Antonio da Silva, Pablo Parra, Oscar R. Polo,\nand Sebastian Sanchez, â??Runtime Instrumentation of SystemC/\nTLM2 Interfaces for Fault Tolerance Requirements Verification in\nSoftware Cosimulation,â? Modelling and Simulation in Engineering,\nvol. 2014, Article ID 105051, 15 pages, 2014.\ndoi:10.1155/2014/105051, http://creativecommons.org/licenses/\nby/3.0/.
    Download Full Text